1. Identity statement | |
Reference Type | Conference Paper (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W/3KN2P4B |
Repository | sid.inpe.br/plutao/2015/12.04.12.15 |
Last Update | 2015:12.07.15.18.36 (UTC) administrator |
Metadata Repository | sid.inpe.br/plutao/2015/12.04.12.15.17 |
Metadata Last Update | 2022:08.22.23.21.59 (UTC) administrator |
Label | lattes: 8666823357523918 3 WellerMartMatt:2015:AbTeIn |
Citation Key | WellerMartMatt:2015:AbTeIn |
Title | InRob-UML: uma abordagem para testes de interoperabilidade e robustez baseados em modelos |
Format | DVD |
Year | 2015 |
Access Date | 2024, May 16 |
Secondary Type | PRE CN |
Number of Files | 1 |
Size | 4913 KiB |
|
2. Context | |
Author | 1 Weller, Anderson C. 2 Martins, Eliane 3 Mattiello-Francisco, Maria de Fátima |
Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHR8 |
Group | 1 2 3 CCR-CCR-INPE-MCTI-GOV-BR |
Affiliation | 1 Universidade Estadual de Campinas (UNICAMP) 2 Universidade Estadual de Campinas (UNICAMP) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 acweller@gmail.com 2 eliane@ic.unicamp.br 3 fatima.mattiello@inpe.br |
Conference Name | Brazilian Workshop on Systematic and Automated Software Testing, 9. (SAST) |
Conference Location | Belo Horizonte, MG |
Date | 23 Sept. |
Book Title | Anais |
Tertiary Type | Artigo |
History (UTC) | 2015-12-04 12:15:17 :: lattes -> administrator :: 2018-06-04 23:25:45 :: administrator -> simone :: 2015 2022-04-11 18:07:02 :: simone -> administrator :: 2015 2022-08-22 23:21:59 :: administrator -> simone :: 2015 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Abstract | Neste artigo apresentamos InRob-UML, um método para a geração automática de casos de testes de interoperabilidade e robustez a partir de modelos UML (Unified Modeling Language). O objetivo dos testes é determinar se duas implementações em teste são capazes de interoperar em presença de falhas temporais e de comunicação. O método proposto foi utilizado em um estudo de caso, um sistema de controle de passagem de nível em uma ferrovia, amplamente utilizado na literatura. Com o uso de um gerador de casos de teste baseado em meta-heurística, guiada por propósitos de teste, o InRob-UML evita problemas de explosão combinatória na geração de casos de teste, procurando a sequência de teste mais completa para um dado propósito de este. ABSTRACT: This article presents InRob-UML, a method for automatic test case generation for interoperability and robustness testing from UML (Unified Modeling Language) models. The goal is to determine whether two implementations are able to interoperate in the presence of temporal and communication faults. The proposed method is applied in a case study, the Generalised Railroad Crossing problem, largely used in the literature. Using a metaheuristic based test case generator, guided by test purposes, the InRob-UML avoid the combinatorial explosion problems in test cases generation searching the most complete test sequence for given test purpose. |
Area | INFO |
Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > InRob-UML: uma abordagem... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
data URL | http://urlib.net/ibi/8JMKD3MGP3W/3KN2P4B |
zipped data URL | http://urlib.net/zip/8JMKD3MGP3W/3KN2P4B |
Language | pt |
Target File | 1_weller.pdf |
User Group | lattes simone |
Reader Group | administrator simone |
Visibility | shown |
Update Permission | not transferred |
|
5. Allied materials | |
Mirror Repository | urlib.net/www/2011/03.29.20.55 |
Next Higher Units | 8JMKD3MGPCW/3EUJHT5 |
Citing Item List | sid.inpe.br/bibdigital/2013/10.05.15.23 7 |
URL (untrusted data) | http://cbsoft.org/articles/0000/0527/SAST.pdf |
Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notes | |
Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor isbn issn keywords lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type volume |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|